1

Forgetting auxiliary atoms in forks

Aguado, Felicidad, Cabalar, Pedro, Fandinno, Jorge, Pearce, David, Pérez, Gilberto, Vidal, Concepción
Journal:
Artificial Intelligence
Année:
2019
Langue:
english
Fichier:
PDF, 719 KB
english, 2019
3

Enablers and inhibitors in causal justifications of logic programs

CABALAR, PEDRO, FANDINNO, JORGE
Journal:
Theory and Practice of Logic Programming
Année:
2017
Langue:
english
Fichier:
PDF, 308 KB
english, 2017
6

Gelfond–Zhang aggregates as propositional formulas

Cabalar, Pedro, Fandinno, Jorge, Schaub, Torsten, Schellhorn, Sebastian
Journal:
Artificial Intelligence
Année:
2019
Langue:
english
Fichier:
PDF, 463 KB
english, 2019
7

Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting

FANDINNO, JORGE
Journal:
Theory and Practice of Logic Programming
Année:
2019
Langue:
english
Fichier:
PDF, 317 KB
english, 2019
10

Causal Graph Justifications of Logic Programs

CABALAR, PEDRO, FANDINNO, JORGE, FINK, MICHAEL
Journal:
Theory and Practice of Logic Programming
Année:
2014
Langue:
english
Fichier:
PDF, 152 KB
english, 2014
11

Towards Deriving Conclusions from Cause-effect Relations

Fandinno, Jorge, Inclezan, Daniela, Maratea, Marco, Marek, Victor
Journal:
Fundamenta Informaticae
Année:
2016
Langue:
english
Fichier:
PDF, 445 KB
english, 2016
12

Justifications for programs with disjunctive and causal-choice rules

CABALAR, PEDRO, FANDINNO, JORGE
Journal:
Theory and Practice of Logic Programming
Année:
2016
Langue:
english
Fichier:
PDF, 352 KB
english, 2016
13

Deriving conclusions from non-monotonic cause-effect relations

FANDINNO, JORGE
Journal:
Theory and Practice of Logic Programming
Année:
2016
Langue:
english
Fichier:
PDF, 193 KB
english, 2016